ARTstor Usability Evaluation Teal Anderson, JHU Jacquelyn Gourley, JHU Kimberly Harvey, ARTstor E-Learn, November 3, 2004

Source URL: ldp.library.jhu.edu

• Art history
• Humancomputer interaction
• Software testing
• Usability
• Andrew W. Mellon Foundation
• Artstor
• Slide library
• Think aloud protocol

SPECIFICATION BY EXAMPLE How successful teams deliver the right software

Source URL: manning-content.s3.amazonaws.com

• Agile software development
• Project management
• Software requirements
• Product development
• Systems engineering
• Business requirements
• Software development
• Specification
• Functional specification
• Requirement
• Scrum
• Agile testing

Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams Jon Froehlich and Paul Dourish School of Information and Computer Science University of California, Irvine Irvine, CA

Source URL: www.dourish.com

• Software engineering
• Computing
• Software
• Software development
• Software visualization
• Augur
• Open-source software
• Aspect-oriented software development
• Programming tool
• Software map
• Software testing

You want to make the most of your site; you have ideas but you aren’t sure what will work best. Only 17% of Fortune 500 companies are using an A/B testing platform. Companies who A/B test see drastic

Source URL: blog.optimizely.com

• Evaluation
• Computing
• Business
• Software testing
• A/B testing
• Experiments
• Market research
• Optimizely
• Validation
• Software as a service

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

Source URL: se.inf.ethz.ch

• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Computer programming
• Software testing
• Extreme programming
• Postcondition
• Software bug
• Precondition
• Assertion
• Random testing

Understanding BDD and NSpec with Matt Florence and Amir Rajan November 25, 2011 Hanselminutes is a weekly audio talk show with noted web developer and technologist Scott Hanselman and hosted by Carl Franklin. Scott discu

Source URL: s3.amazonaws.com

• Software development
• Software testing
• Software engineering
• Software
• Extreme programming
• Test-driven development
• Test automation
• Acceptance testing
• 9
• Object Process Methodology
• NUnit
• Fall

Fragment Class Analysis for Testing of Polymorphism in Java Software Atanas Rountev Department of Computer and Information Science The Ohio State University

Source URL: www.cs.rpi.edu

Continuous Inspection with Serena Dimensions CM Achieving high velocity with quality for complex product and application development teams SOLUTION BRIEF

Source URL: www.serena.com

• Software engineering
• Software development
• Software
• Source code
• Agile software development
• Software review
• Software development process
• Software testing
• DevOps
• Code review
• Build automation
• Continuous integration

Testing Legacy Code Milton Keynes Perl Mongers, MarchNik Clayton, Testing with Perl % prove -r t

Source URL: miltonkeynes.pm.org

• Perl
• Cross-platform software
• Software testing
• Grep
• CPAN
• Test::More
• Unit testing
• Test
• Conditional
• Effective Perl Programming

The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt

Source URL: se.inf.ethz.ch

• Theoretical computer science
• Software engineering
• Formal methods
• Logic in computer science
• Software testing
• Formal verification
• Separation logic
• Loop invariant
• Software verification
• Eiffel
• Postcondition
• Invariant